Nagisa Ishiura: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2018 International Symposium on Rapid System Prototyping (RSP) - Torino, Italy (2018.10.4-2018.10.5)] 2018 International Symposium on Rapid System Prototyping (RSP) - Synthesis of Full Hardware Implementation of RTOS-Based Systems

Oosako, Yuuki, Ishiura, Nagisa, Tomiyama, Hiroyuki, Kanbara, Hiroyuki

Year:

2018

Language:

english

File:

PDF, 8 KB

english, 2018

2

Test generation for sequential circuits based on boolean function manipulation

Hoyong Choi, Takashi Kohara, Nagisa Ishiura, Isao Shirakawa, Akira Motohara

Journal:

Electronics and Communications in Japan (Part III: Fundamental Electronic Science))

Year:

1993

Language:

english

File:

PDF, 889 KB

english, 1993

3

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - Shared binary decision diagram with attributed edges for efficient Boolean function manipulation

Minato, Shin-ichi, Ishiura, Nagisa, Yajima, Shuzo

Year:

1990

Language:

english

File:

PDF, 632 KB

english, 1990

4

[ACM Press the 2000 conference - Yokohama, Japan (2000..-..)] Proceedings of the 2000 conference on Asia South Pacific design automation - ASP-DAC '00 - Thread partitioning method for hardware compiler bach

Takahashi, Mizuki, Ishiura, Nagisa, Yamada, Akihisa, Kambe, Takashi

Year:

2000

Language:

english

File:

PDF, 71 KB

english, 2000

5

[ACM Press the 28th conference - San Francisco, California, United States (1991.06.17-1991.06.22)] Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 - Probabilistic CTSS

Deguchi, Yutaka, Ishiura, Nagisa, Yajima, Shuzo

Year:

1991

Language:

english

File:

PDF, 584 KB

english, 1991

6

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - NES

Ishiura, Nagisa, Yasuura, Hiroto, Yajima, Shuzo

Year:

1990

Language:

english

File:

PDF, 714 KB

english, 1990

7

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - Coded time-symbolic simulation using shared binary decision diagram

Ishiura, Nagisa, Deguchi, Yutaka, Yajima, Shuzo

Year:

1990

Language:

english

File:

PDF, 700 KB

english, 1990

8

SPIE Proceedings [SPIE Photonics China '98 - Beijing, China (Wednesday 16 September 1998)] Electronic Imaging and Multimedia Systems II - Hierarchical object-oriented image and video segmentation algorithm based on 2D entropic thresholding

Fan, Jianping, Fujita, Gen, Yu, Jun, Miyanohana, Koji, Onoye, Takao, Ishiura, Nagisa, Wu, Lide, Shirakawa, Isao, Zhou, LiWei, Li, Chung-Sheng

Year:

1998

Language:

english

File:

PDF, 1.53 MB

english, 1998

9

[IEEE 2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI) - Kumamoto, Japan (2016.7.10-2016.7.14)] 2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI) - Reverse Engineering from Mainframe Assembly to C Codes in Legacy Migration

Fujiwara, Daisuke, Ishiura, Nagisa, Sakai, Ryo, Aoki, Ryo, Ogawara, Takashi

Year:

2016

Language:

english

File:

PDF, 359 KB

english, 2016

10

Compiler Fuzzing

ISHIURA, Nagisa

Journal:

IEICE ESS Fundamentals Review

Year:

2016

File:

PDF, 1.62 MB

2016

11

Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions

Nagai, Eriko, Hashimoto, Atsushi, Ishiura, Nagisa

Journal:

IPSJ Transactions on System LSI Design Methodology

Year:

2014

Language:

english

File:

PDF, 397 KB

english, 2014

12

Detecting Arithmetic Optimization Opportunities for C Compilers by Randomly Generated Equivalent Programs

Hashimoto, Atsushi, Ishiura, Nagisa

Journal:

IPSJ Transactions on System LSI Design Methodology

Year:

2016

Language:

english

File:

PDF, 1.12 MB

english, 2016

13

Advantage and Possibility of Application-domain Specific Instruction-set Processor (ASIP)

Imai, Masaharu, Takeuchi, Yoshinori, Sakanushi, Keishi, Ishiura, Nagisa

Journal:

IPSJ Transactions on System LSI Design Methodology

Year:

2010

Language:

english

File:

PDF, 3.01 MB

english, 2010

14

Software Development Tool Generation Method Suitable for Instruction Set Extension of Embedded Processors

Kumura, Takahiro, Taga, Soichiro, Ishiura, Nagisa, Takeuchi, Yoshinori, Imai, Masaharu

Journal:

IPSJ Transactions on System LSI Design Methodology

Year:

2010

Language:

english

File:

PDF, 4.07 MB

english, 2010

15

[IEEE 2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) - Jeju, South Korea (2016.10.25-2016.10.28)] 2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) - Random testing of C compilers based on test program generation by equivalence transformation

Nakamura, Kazuhiro, Ishiura, Nagisa

Year:

2016

Language:

english

File:

PDF, 102 KB

english, 2016

16

[ACM Press the 16th ACM SIGPLAN International Workshop - Oxford, UK (2017.09.08-2017.09.08)] Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017 - Distributed memory architecture for high-level synthesis of embedded controllers from Erlang

Azuma, Kagumi, Ishiura, Nagisa, Yoshida, Nobuaki, Kanbara, Hiroyuki

Year:

2017

Language:

english

File:

PDF, 1.01 MB

english, 2017

17

[ACM Press the 9th ACM SIGSOFT International Workshop - Lake Buena Vista, FL, USA (2018.11.05-2018.11.05)] Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation - A-TEST 2018 - Random testing of compilers’ performance based on mixed static and dynamic code comparison

Kitaura, Kota, Ishiura, Nagisa

Year:

2018

Language:

english

File:

PDF, 294 KB

english, 2018

18

[ACM Press the 28th International Symposium - Seoul, South Korea (2017.10.19-2017.10.20)] Proceedings of the 28th International Symposium on Rapid System Prototyping Shortening the Path from Specification to Prototype - RSP '17 - Binary synthesis implementing external interrupt handler as independent module

Ito, Naoya, Oosako, Yuuki, Ishiura, Nagisa, Kanbara, Hiroyuki, Tomiyama, Hiroyuki

Year:

2017

Language:

english

File:

PDF, 3.64 MB

english, 2017

19

[ACM Press the 9th ACM SIGSOFT International Workshop - Lake Buena Vista, FL, USA (2018.11.05-2018.11.05)] Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation - A-TEST 2018 - Extending equivalence transformation based program generator for random testing of C compilers

Takakura, Shogo, Iwatsuji, Mitsuyoshi, Ishiura, Nagisa

Year:

2018

Language:

english

File:

PDF, 776 KB

english, 2018

20

[IEEE 2019 34th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC) - JeJu, Korea (South) (2019.6.23-2019.6.26)] 2019 34th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC) - Synthesis of Distributed Control Circuits for Dynamic Scheduling across Multiple Dataflow Graphs

Ota, Sayuri, Ishiura, Nagisa

Year:

2019

Language:

english

File:

PDF, 161 KB

english, 2019

21

[ACM Press the 28th International Symposium - Seoul, South Korea (2017.10.19-2017.10.20)] Proceedings of the 28th International Symposium on Rapid System Prototyping Shortening the Path from Specification to Prototype - RSP '17 - Speculative execution in distributed controllers for high-level synthesis

Shimizu, Miho, Ishiura, Nagisa, Ota, Sayuri, Nakano, Wakako

Year:

2017

Language:

english

File:

PDF, 5.72 MB

english, 2017